J. Hartmanis (auth.): البحث على موقع Z-Library

حرية الوصول إلى المعرفة والثقافة.

Don't use scam websites

1

Algorithms and Computation: 11th International Conference, ISAAC 2000 Taipei, Taiwan, December 18–20, 2000 Proceedings

Algorithms and Computation: 11th International Conference, ISAAC 2000 Taipei, Taiwan, December 18–20, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Daniel Boissonnat (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, D. T. Lee, Shang-Hua Teng (eds.)

عام:

2000

اللغة:

english

ملف:

PDF, 3.44 MB

0 / 0

english, 2000

2

Conceptual Modeling: Current Issues and Future Directions

Conceptual Modeling: Current Issues and Future Directions

Springer-Verlag Berlin Heidelberg

Peter P. Chen (auth.), G. Goos, J. Hartmanis, J. van Leeuwen, Peter P. Chen, Jacky Akoka, Hannu Kangassalu, Bernhard Thalheim (eds.)

عام:

1999

اللغة:

english

ملف:

PDF, 5.98 MB

0 / 0

english, 1999

3

Object-Oriented Technology: ECOOP 2000 Workshop Reader ECOOP 2000 Workshops, Panels, and Posters Sophia Antipolis and Cannes, France, June 12–16, 2000 Proceedings

Object-Oriented Technology: ECOOP 2000 Workshop Reader ECOOP 2000 Workshops, Panels, and Posters Sophia Antipolis and Cannes, France, June 12–16, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Walter Cazzola, Shigeru Chiba, Thomas Ledoux (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Jacques Malenfant, Sabine Moisan, Ana Moreira (eds.)

عام:

2000

اللغة:

english

ملف:

PDF, 2.74 MB

0 / 0

english, 2000

4

Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings

Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings

Springer Berlin Heidelberg

Sten Agerholm (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Joakim von Wright, Jim Grundy, John Harrison (eds.)

عام:

1996

اللغة:

english

ملف:

DJVU, 3.17 MB

0 / 0

english, 1996

5

SWAT 90: 2nd Scandinavian Workshop on Algorithm Theory Bergen, Sweden, July 11–14, 1990 Proceedings

SWAT 90: 2nd Scandinavian Workshop on Algorithm Theory Bergen, Sweden, July 11–14, 1990 Proceedings

Springer-Verlag Berlin Heidelberg

Juris Hartmanis, Richard Chang, Desh Ranjan, Pankaj Rohatgi (auth.), John R. Gilbert, Rolf Karlsson (eds.)

عام:

1990

اللغة:

english

ملف:

DJVU, 5.68 MB

0 / 0

english, 1990

6

Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings

Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings

Springer Berlin Heidelberg

Sten Agerholm (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Joakim von Wright, Jim Grundy, John Harrison (eds.)

عام:

1996

اللغة:

english

ملف:

PDF, 5.33 MB

0 / 0

english, 1996

7

Foundations of Software Technology and Theoretical Computer Science: 13th Conference Bombay, India, December 15–17, 1993 Proceedings

Foundations of Software Technology and Theoretical Computer Science: 13th Conference Bombay, India, December 15–17, 1993 Proceedings

Springer-Verlag Berlin Heidelberg

Juris Hartmanis (auth.), Rudrapatna K. Shyamasundar (eds.)

عام:

1993

اللغة:

english

ملف:

DJVU, 4.56 MB

0 / 0

english, 1993

8

Theoretical Computer Science: 3rd Gl Conference Darmstadt, March 28–30, 1977

Theoretical Computer Science: 3rd Gl Conference Darmstadt, March 28–30, 1977

Springer-Verlag Berlin Heidelberg

L. Berman, J. Hartmanis (auth.)

عام:

1977

اللغة:

english

ملف:

DJVU, 3.11 MB

0 / 0

english, 1977

9

Fast Software Encryption: 7th International Workshop, FSE 2000 New York, NY, USA, April 10–12, 2000 Proceedings

Fast Software Encryption: 7th International Workshop, FSE 2000 New York, NY, USA, April 10–12, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Alex Biryukov, Adi Shamir, David Wagner (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Bruce Schneier (eds.)

عام:

2001

اللغة:

english

ملف:

PDF, 4.11 MB

0 / 0

english, 2001

10

Fast Software Encryption: 7th International Workshop, FSE 2000 New York, NY, USA, April 10–12, 2000 Proceedings

Fast Software Encryption: 7th International Workshop, FSE 2000 New York, NY, USA, April 10–12, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Alex Biryukov, Adi Shamir, David Wagner (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Bruce Schneier (eds.)

عام:

2001

اللغة:

english

ملف:

PDF, 2.22 MB

0 / 0

english, 2001

11

Conceptual Modeling: Current Issues and Future Directions

Conceptual Modeling: Current Issues and Future Directions

Springer-Verlag Berlin Heidelberg

Peter P. Chen (auth.), G. Goos, J. Hartmanis, J. van Leeuwen, Peter P. Chen, Jacky Akoka, Hannu Kangassalu, Bernhard Thalheim (eds.)

عام:

1999

اللغة:

english

ملف:

PDF, 1.94 MB

0 / 0

english, 1999

12

Constraints in Computational Logics: Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures

Constraints in Computational Logics: Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures

Springer-Verlag Berlin Heidelberg

Jean-Pierre Jouannaud, Ralf Treinen (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Hubert Comon, Claude Marché, Ralf Treinen (eds.)

عام:

2001

اللغة:

english

ملف:

PDF, 2.01 MB

0 / 0

english, 2001

13

Fast Software Encryption: 7th International Workshop, FSE 2000 New York, NY, USA, April 10–12, 2000 Proceedings

Fast Software Encryption: 7th International Workshop, FSE 2000 New York, NY, USA, April 10–12, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Alex Biryukov, Adi Shamir, David Wagner (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Bruce Schneier (eds.)

عام:

2001

اللغة:

english

ملف:

PDF, 3.00 MB

0 / 0

english, 2001

14

Algorithms and Complexity: Second Italian Conference, CIAC '94 Rome, Italy, February 23–25, 1994 Proceedings

Algorithms and Complexity: Second Italian Conference, CIAC '94 Rome, Italy, February 23–25, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Juris Hartmanis, Suresh Chari (auth.), M. Bonuccelli, P. Crescenzi, R. Petreschi (eds.)

عام:

1994

اللغة:

english

ملف:

DJVU, 1.83 MB

0 / 0

english, 1994

15

Graph-Theoretic Concepts in Computer Science: 28th International Workshop, WG 2002 Český Krumlov, Czech Republic, June 13–15, 2002 Revised Papers

Graph-Theoretic Concepts in Computer Science: 28th International Workshop, WG 2002 Český Krumlov, Czech Republic, June 13–15, 2002 Revised Papers

Springer-Verlag Berlin Heidelberg

Anne Berry, Jean R. S. Blair (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Luděk Kučera (eds.)

عام:

2002

اللغة:

english

ملف:

PDF, 3.28 MB

0 / 0

english, 2002

16

Algorithms and Complexity: Second Italian Conference, CIAC '94 Rome, Italy, February 23–25, 1994 Proceedings

Algorithms and Complexity: Second Italian Conference, CIAC '94 Rome, Italy, February 23–25, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Juris Hartmanis, Suresh Chari (auth.), M. Bonuccelli, P. Crescenzi, R. Petreschi (eds.)

عام:

1994

اللغة:

english

ملف:

PDF, 3.29 MB

0 / 0

english, 1994

17

Algorithms and Computation: 11th International Conference, ISAAC 2000 Taipei, Taiwan, December 18–20, 2000 Proceedings

Algorithms and Computation: 11th International Conference, ISAAC 2000 Taipei, Taiwan, December 18–20, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Daniel Boissonnat (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, D. T. Lee, Shang-Hua Teng (eds.)

عام:

2000

اللغة:

english

ملف:

PDF, 8.61 MB

0 / 0

english, 2000

18

Graph-Theoretic Concepts in Computer Science: 28th International Workshop, WG 2002 Český Krumlov, Czech Republic, June 13–15, 2002 Revised Papers

Graph-Theoretic Concepts in Computer Science: 28th International Workshop, WG 2002 Český Krumlov, Czech Republic, June 13–15, 2002 Revised Papers

Springer-Verlag Berlin Heidelberg

Anne Berry, Jean R. S. Blair (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Luděk Kučera (eds.)

عام:

2002

اللغة:

english

ملف:

PDF, 22.92 MB

0 / 0

english, 2002

19

The World Wide Web and Databases: Third International Workshop WebDB 2000 Dallas, TX, USA, May 18–19,2000 Selected Papers

The World Wide Web and Databases: Third International Workshop WebDB 2000 Dallas, TX, USA, May 18–19,2000 Selected Papers

Springer-Verlag Berlin Heidelberg

Don Chamberlin, Jonathan Robie, Daniela Florescu (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Dan Suciu, Gottfried Vossen (eds.)

عام:

2001

اللغة:

english

ملف:

PDF, 2.38 MB

0 / 0

english, 2001

20

Constraints in Computational Logics: Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures

Constraints in Computational Logics: Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures

Springer-Verlag Berlin Heidelberg

Jean-Pierre Jouannaud, Ralf Treinen (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Hubert Comon, Claude Marché, Ralf Treinen (eds.)

عام:

2001

اللغة:

english

ملف:

PDF, 2.63 MB

0 / 0

english, 2001

21

GI-4.Jahrestagung: Berlin, 9.–12. Oktober 1974

GI-4.Jahrestagung: Berlin, 9.–12. Oktober 1974

Springer-Verlag Berlin Heidelberg

J. Hartmanis, J. Simon (auth.), Prof. Dr. Dirk Siefkes (eds.)

عام:

1975

اللغة:

german

ملف:

PDF, 20.41 MB

0 / 0

german, 1975

22

Information Security: Third International Workshop, ISW 2000 Wollongong, Australia, December 20–21, 2000 Proceedings

Information Security: Third International Workshop, ISW 2000 Wollongong, Australia, December 20–21, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Minoru Kuribayashi, Hatsukazu Tanaka (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Josef Pieprzyk, Jennifer Seberry, Eiji Okamoto (eds.)

عام:

2000

اللغة:

english

ملف:

PDF, 3.87 MB

0 / 0

english, 2000

23

The World Wide Web and Databases: Third International Workshop WebDB 2000 Dallas, TX, USA, May 18–19,2000 Selected Papers

The World Wide Web and Databases: Third International Workshop WebDB 2000 Dallas, TX, USA, May 18–19,2000 Selected Papers

Springer-Verlag Berlin Heidelberg

Don Chamberlin, Jonathan Robie, Daniela Florescu (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Dan Suciu, Gottfried Vossen (eds.)

عام:

2001

اللغة:

english

ملف:

PDF, 3.14 MB

0 / 0

english, 2001

24

Information Security: Third International Workshop, ISW 2000 Wollongong, Australia, December 20–21, 2000 Proceedings

Information Security: Third International Workshop, ISW 2000 Wollongong, Australia, December 20–21, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Minoru Kuribayashi, Hatsukazu Tanaka (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Josef Pieprzyk, Jennifer Seberry, Eiji Okamoto (eds.)

عام:

2000

اللغة:

english

ملف:

PDF, 3.15 MB

0 / 0

english, 2000

25

Object-Oriented Technology: ECOOP 2000 Workshop Reader ECOOP 2000 Workshops, Panels, and Posters Sophia Antipolis and Cannes, France, June 12–16, 2000 Proceedings

Object-Oriented Technology: ECOOP 2000 Workshop Reader ECOOP 2000 Workshops, Panels, and Posters Sophia Antipolis and Cannes, France, June 12–16, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Walter Cazzola, Shigeru Chiba, Thomas Ledoux (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Jacques Malenfant, Sabine Moisan, Ana Moreira (eds.)

عام:

2000

اللغة:

english

ملف:

PDF, 3.36 MB

0 / 0

english, 2000

26

Gl-4.Jahrestagung: Berlin, 9.–12. Oktober 1974

Gl-4.Jahrestagung: Berlin, 9.–12. Oktober 1974

Springer-Verlag Berlin Heidelberg

J. Hartmanis, J. Simon (auth.), Prof. Dr. D. Siefkes (eds.)

عام:

1975

اللغة:

german-english

ملف:

PDF, 19.49 MB

0 / 0

german-english, 1975

27

Gl-4.Jahrestagung: Berlin, 9.–12. Oktober 1974

Gl-4.Jahrestagung: Berlin, 9.–12. Oktober 1974

Springer-Verlag Berlin Heidelberg

J. Hartmanis, J. Simon (auth.), Prof. Dr. D. Siefkes (eds.)

عام:

1975

اللغة:

german-english

ملف:

DJVU, 7.09 MB

0 / 0

german-english, 1975